可自动检测AI程序可靠性？科学家提出减少软件验证对先验知识依赖
在人工智能开始尝试编写核电站控制代码和自动驾驶系统代码的今天，我们面临一个关键安全问题：如何确保 AI 生成的程序绝对可靠？当前主流 AI 系统存在根本性隐患：它们依赖人类编写的测试用例进行验证，但这种方法存在两大致命缺陷。
先验知识
Talk预告 | 香港科技大学何晶：LOTUS - 如何更好的利用生成模型的先验知识实现快速且准确的密集预测
她与大家分享的主题是:“LOTUS - 如何更好的利用生成模型的先验知识实现快速且准确的密集预测”，届时她将对用于图像生成的扩散模型进行系统性的分析，并提出LOTUS，通过改进扩散模型的参数化方式和引入单步范式与细节保留机制，在非常少的训练数据下实现高效、精细
MIT惊人神作：AI提出哈密顿物理！0先验知识，破译人类百年理论
大佬Max Tegmark、Ziming Liu等人在一项新研究中发现，AI能够在没有任何先验知识的情况下，能够完全独立地提出哈密顿物理量。